how did the asteroid belt form